\relax 
\@writefile{toc}{\contentsline {section}{\numberline {1}De Bruijn Notation}{2}}
\@writefile{toc}{\contentsline {subsection}{\numberline {1.1}nameless representation}{2}}
\@writefile{toc}{\contentsline {paragraph}{}{2}}
\@writefile{toc}{\contentsline {subsection}{\numberline {1.2}Haskell Implementation}{2}}
\@writefile{toc}{\contentsline {section}{\numberline {2}Natural Semantics with Nameless Terms}{4}}
\@writefile{toc}{\contentsline {section}{\numberline {3}C-E-S Compiler and Virtual Machine}{7}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.1}Formal Rules}{7}}
\@writefile{toc}{\contentsline {paragraph}{}{7}}
\@writefile{toc}{\contentsline {paragraph}{}{8}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {3.1.1}Haskell Implementation}{9}}
\@writefile{toc}{\contentsline {section}{\numberline {4}CPS}{11}}
\@writefile{toc}{\contentsline {paragraph}{}{11}}
\@writefile{toc}{\contentsline {paragraph}{}{11}}
\@writefile{toc}{\contentsline {paragraph}{}{11}}
\@writefile{toc}{\contentsline {paragraph}{}{11}}
\@writefile{toc}{\contentsline {paragraph}{}{12}}
\@writefile{toc}{\contentsline {paragraph}{}{12}}
\@writefile{toc}{\contentsline {paragraph}{}{12}}
\@writefile{toc}{\contentsline {paragraph}{}{12}}
\@writefile{toc}{\contentsline {paragraph}{}{12}}
\@writefile{toc}{\contentsline {section}{\numberline {5}C-E-3R Compiler and Virtual Machine}{14}}
\@writefile{toc}{\contentsline {paragraph}{}{14}}
\@writefile{toc}{\contentsline {paragraph}{}{14}}
\@writefile{toc}{\contentsline {section}{\numberline {6}Main}{16}}
\@writefile{toc}{\contentsline {section}{\numberline {7}Test Cases}{18}}
\@writefile{toc}{\contentsline {subsection}{\numberline {7.1}Test 1}{18}}
\@writefile{toc}{\contentsline {subsection}{\numberline {7.2}Test 2}{19}}
\@writefile{toc}{\contentsline {subsection}{\numberline {7.3}Test 3}{20}}
\@writefile{toc}{\contentsline {subsection}{\numberline {7.4}Test 4}{21}}
\@writefile{toc}{\contentsline {subsection}{\numberline {7.5}Test 5}{23}}
\@writefile{toc}{\contentsline {subsection}{\numberline {7.6}Test 6}{23}}
